Базисы допустимых правил вывода табличных модальных логик глубины 2.
Базисы допустимых правил модальной системы Grz и интуиционистской логики
Базисы квазитождеств конечных модальных алгебр.
Базы допустимых правил логик S4 и Int
Вложения импликатных решеток и суперинтуиционистские логики
Гейтинговское исчисление предикатов с эпсилон-символом
Гливенковские классы секвенций
Границы разрешимости некоторых классов нильпотентных и разрешимых групп
Группы автострофий разделимых сильно зависимых операций
Группы рекурсивных автоморфизмов конструктвных булевых алгебр
Два неразрешимых класса формул классического исчисления предикатов
Две системы доказательства тавтологичности, основанные на методе расщеплений
Дизъюнктивная интерпретация исчисления LJ
Диофантовы теории свободных инверсных полугрупп.
Доказательства в арифметике, использующие случайные числа
Допустимые и производные правила
Допустимые правила для логик, включающих S4.3.
Допустимые правила предтабличных модальных логик
Достаточное условие, при котором замкнутые классы -значной логики имеют только тривиальные конгруэнции
Замечания к работе Р. Бергера о проблеме домино